Paradosso di Cantor

In matematica il paradosso di Cantor, conosciuto anche come il paradosso del massimo cardinale, è un teorema della teoria degli insiemi che afferma che non esiste un numero cardinale maggiore di tutti gli altri, e quindi la collezione di "grandezze" di insiemi illimitati è a sua volta infinita. Inoltre, da questa constatazione segue che la collezione di tutti i numeri cardinali non è un insieme ma una classe propria; nella Teoria degli insiemi di Von Neumann-Bernays-Gödel segue anche (utilizzando l'assioma di limitazione di dimensione) che questa classe propria deve essere in corrispondenza biunivoca con l'insieme di tutti gli insiemi. Quindi non solo esiste un numero infinitamente grande di infiniti, ma questo infinito è anche più grande di tutti gli infiniti che esso enumera.

Questo paradosso prende il nome da Georg Cantor, che è stato spesso accreditato come il suo scopritore nel 1899 (o comunque in un periodo compreso tra il 1895 e il 1897). Come molti altri paradossi matematici non è contraddittorio, ma semplicemente è indicativo di una intuizione non corretta, che in questo caso riguarda la natura dell'infinito e la nozione di insieme. Detto in altri termini, è contraddittorio nella teoria intuitiva degli insiemi e perciò dimostra che questa teoria è insufficiente per le necessità della matematica. Il fatto che la teoria NBG risolva il paradosso è un motivo per utilizzarla come rimpiazzo della teoria intuitiva degli insiemi.